<html>

<head>
<title>source files</title>
</head>

<body bgcolor=white background="./image001.jpg"
lang=EN-US link="#996600" vlink="#666666" style='tab-interval:.5in'>


<div class=Section1>

<font size="2" face="Verdana">



<p>The HIPAA laws have been encoded in the programming language <a href="http://en.wikipedia.org/wiki/Prolog">Prolog</a>.
 The laws are expressed as a list of rules 
in Prolog, and each set of conditions inputted into the compliance checker is assembled into a query. 
The case is deemed to be legal only if that query evaluates to being logically possible when checked against the rules.
Otherwise, we conclude that it is not permitted by the HIPAA laws. </p>

<h4>Prolog Syntax Basics</h4>

' ,' represents an AND </br>
' ; ' represents an OR </br>
A rule of the form " a :- b; (c, d). "  literally means 'a' is true if 'b' is true OR both 'c' AND 'd' are true.

</br>
<h4>Source Code </h4>



<p>&#167 <b><a href="display.php?fname=H164.502">164.502 <i>Uses and
disclosure of protected health information</i></a></b></p>

<blockquote>&#167 <a href="display.php?fname=H164.502.a"><b>164.502.a </b><i>Standard</i></a></p></DIV></blockquote>

<blockquote>&#167 <a href="display.php?fname=H164.502.b"><b>164.502.b </b><i>Standard: Minimum necessary</i></a></p></DIV></blockquote>

<blockquote>&#167 <a href="display.php?fname=H164.502.c"><b>164.502.c </b><i>Standard: Uses and disclosure of
protected health information subject to an agreed upon restriction</i></a></p></DIV></blockquote>

<blockquote>&#167 <a href="display.php?fname=H164.502.d"><b>164.502.d </b><i>Standard: Uses and disclosures of
de-identified protected health information</i></a></p></DIV></blockquote>

<blockquote>&#167 <a href="display.php?fname=H164.502.e"><b>164.502.e </b><i>Standard: disclosure to business
associates</i></a></p></DIV></blockquote>

<blockquote>&#167 <a href="display.php?fname=H164.502.f"><b>164.502.f </b><i>Standard: Deceased individuals</i></a></p></DIV></blockquote>

<blockquote>&#167 <a href="display.php?fname=H164.502.g"><b>164.502.g </b><i>Standard: Personal representatives</i></a></p></DIV></blockquote>

<blockquote>&#167 <a href="display.php?fname=H164.502.h"><b>164.502.h </b><i>Standard: Confidential communication</i></a></p></DIV></blockquote>

<blockquote>&#167 <a href="display.php?fname=H164.502.i"><b>164.502.i </b><i>Standard: Uses and disclosure consistent
with notice</i></a></p></DIV></blockquote>

<blockquote>&#167 <a href="display.php?fname=H164.502.j"><b>164.502.j </b><i>Standard: Disclosures by whistleblowers
and workforce member crime victims</i></a></p></DIV></blockquote>

<br>
<p>&#167 <b><a href="display.php?fname=H164.506">164.506 <i>Uses and
disclosure to carry out treatment, payment, or health care operations. </i></a></b></p>



</font>
</div>

</body>

</html>
